Nuprl Definition : rmsg
11,40
postcript
pdf
rmsg(
info
;
val
;
e
) == msg(link(
e
); rtag(
info
;
e
); (
val
(
e
)))
latex
clarification:
rmsg(
info
;
val
;
e
) == msg(link(
info
;
e
); rtag(
info
;
e
); (
val
(
e
)))
latex
Definitions
msg(
l
;
t
;
v
)
,
link(
e
)
,
rtag(
info
;
e
)
,
f
(
a
)
FDL editor aliases
rmsg
origin